<html>
<head><meta charset="utf-8"><title>meeting 2019-04-08 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html">meeting 2019-04-08</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="162839826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162839826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162839826">(Apr 08 2019 at 17:53)</a>:</h4>
<p>Hello! I'm back from vacation today, but I somehow wound up double booked.</p>



<a name="162839903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162839903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162839903">(Apr 08 2019 at 17:54)</a>:</h4>
<p>So <span class="user-group-mention" data-user-group-id="692">@WG-traits</span> I won't be around at our usual time today (i.e., in 10 minutes)</p>



<a name="162839910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162839910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162839910">(Apr 08 2019 at 17:54)</a>:</h4>
<p>But maybe we can leave some brief notes</p>



<a name="162839952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162839952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162839952">(Apr 08 2019 at 17:54)</a>:</h4>
<p>Over vacation, I was working on "the chalk refactoring" and I made a lot of progress. The fact that I consider this vacation is perhaps something I should be discussing with a mental health professional, but never mind that.</p>



<a name="162839988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162839988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162839988">(Apr 08 2019 at 17:55)</a>:</h4>
<p>I also found it was a more complex issue than I initially thought and I think it'd be great to go over some of what I found and what design we want</p>



<a name="162840018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162840018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162840018">(Apr 08 2019 at 17:55)</a>:</h4>
<p>I've been talking a lot about trying to have a recurring "design zoom call" (recorded, of course) to go over this sort of thing -- maybe this is a good first candidate?</p>



<a name="162840109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162840109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162840109">(Apr 08 2019 at 17:56)</a>:</h4>
<p>I think the major priority for rutsc-chalk integration remains kind of enumerating clearly the work to be done -- <span class="user-mention" data-user-id="116883">@tmandry</span> / <span class="user-mention" data-user-id="116010">@Aaron Turon</span>, were either of you able to make any progress on those builtin-bound items?</p>



<a name="162840118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162840118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162840118">(Apr 08 2019 at 17:56)</a>:</h4>
<p>I made a list of other tasks before I left but didn't do a good job enumerating it</p>



<a name="162840135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162840135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162840135">(Apr 08 2019 at 17:56)</a>:</h4>
<p>But that remains (I think) the key thing we need to do this week.</p>



<a name="162840149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162840149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162840149">(Apr 08 2019 at 17:56)</a>:</h4>
<p>And I've been talking to <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> about trying to make progress on object upcasting</p>



<a name="162840200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162840200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162840200">(Apr 08 2019 at 17:57)</a>:</h4>
<p>I'm trying to decide just what is needed there -- it feels like there is at least <em>some</em> lang team involvement -- so we  should discuss the overall procedure.</p>



<a name="162840227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162840227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162840227">(Apr 08 2019 at 17:57)</a>:</h4>
<p>Anyway, maybe we can run the meeting a bit async? If people want to leave thoughts I'll try to read and catch up :)</p>



<a name="162840417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162840417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162840417">(Apr 08 2019 at 17:59)</a>:</h4>
<p>I wasn't able to start the work on chalk integration, most of my time has been wrapped up in figuring out the generator optimization stuff (<span class="user-mention" data-user-id="119009">@eddyb</span> and I had to iterate on the design a bit)</p>



<a name="162840517"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162840517" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162840517">(Apr 08 2019 at 18:00)</a>:</h4>
<p>but I haven't forgotten, and may have time to look at it this week</p>



<a name="162840831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162840831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162840831">(Apr 08 2019 at 18:04)</a>:</h4>
<p>I was thinking of starting to do the work on modelling specialization in chalk. We had a meeting about this back in January (oh wow <span aria-label="open mouth" class="emoji emoji-1f62e" role="img" title="open mouth">:open_mouth:</span>) where we discussed some initial thoughts about how we might want to go about it</p>



<a name="162846534"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162846534" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162846534">(Apr 08 2019 at 19:17)</a>:</h4>
<p>OK. That all sounds good.</p>



<a name="162859541"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162859541" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162859541">(Apr 08 2019 at 22:08)</a>:</h4>
<p>Sounds good.</p>



<a name="162859547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162859547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162859547">(Apr 08 2019 at 22:08)</a>:</h4>
<p>How's lifetime constraint stuff in Chalk going?</p>



<a name="162859560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162859560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162859560">(Apr 08 2019 at 22:08)</a>:</h4>
<p>as I understand that's still the main blocker for usability</p>



<a name="162859589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162859589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162859589">(Apr 08 2019 at 22:09)</a>:</h4>
<p>Isn't lifetime stuff part of polonius? (I think that's separate from chalk)</p>



<a name="162860209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162860209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162860209">(Apr 08 2019 at 22:19)</a>:</h4>
<p>We need to handle lifetime constraints during trait solving too</p>



<a name="162860325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-08/near/162860325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-08.html#162860325">(Apr 08 2019 at 22:21)</a>:</h4>
<p>Ah okay. I didn't know that was part of chalk</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>